@Deprecated("Foo") @Deprecated("Bar") class Foo {
}